🎨 Graph Coloring

Constraint Satisfaction, Register Allocation, Scheduling Problems, Algorithmic Graph Theory

A Tie-breaking based Local Search Algorithm for Stable Matching Problems
arxiv.org·21h
🌸Bloom Variants
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·10h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·8h·
Discuss: DEV
🔲Cellular Automata
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
Discuss: Hacker News
🕸️Graph Algorithms
Intel reveals 288-core Clearwater Forest Xeon at Hot Chips — 18A process' first outing promises big efficiency and performance gains
tomshardware.com·11h
⚡CPU Microarchitecture
Teaching programming languages
kmjn.org·1d
💻Programming languages
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·1d·
Discuss: Substack
🔗Topological Sorting
What Is a Color Space?
shapeof.com·1h
🌈Color Science
Notes on Autograd
aschrein.github.io·1d·
Discuss: Hacker News
⚡Incremental Computation
AIAI Seminar-Friday 3rd October 2025 by Visiting Speaker: Marija Slavkovik
informatics.ed.ac.uk·12h
🌍Cultural Algorithms
Fair Auctions, Automata Routing, and Rebalancing for Distributed Mobility‑On‑Demand Assignment
hackernoon.com·1d
🎯Performance Proofs
Linear Layouts Revisited: Stacks, Queues, and Exact Algorithms
arxiv.org·1d
🕸️Network Topology
Computer Architecture Lessons from the Kitchen
sigarch.org·1d
🧮Algorithmic Cooking
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·21h
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·1d·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
d-Matrix Corsair In-Memory Computing For AI Inference at Hot Chips 2025
servethehome.com·3h
⚡Cache Coherence
Paradigms of Intelligence Team
github.com·12h·
Discuss: Hacker News
🔲Cellular Automata
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus